]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0242801) | patch
boxpointer: Flip side if we would end outside the monitor
authorRui Matos <tiagomatos@gmail.com>
Thu, 14 Jun 2012 17:43:15 +0000 (19:43 +0200)
committerRui Matos <tiagomatos@gmail.com>
Fri, 6 Jul 2012 14:03:59 +0000 (16:03 +0200)
commit8d017ceaf1dffd3c35c15fea3dba810c6e36744a
tree6d9ff5250f7fad1acaa0a10a332aa08e92d16b1etree | snapshot
parent02428019fa7fc5637d1ac29d97158c07c989e3f6commit | diff
boxpointer: Flip side if we would end outside the monitor

This flips the BoxPointer if it ends outside the monitor and we have
enough space to fit it inside, on the opposite side of the source
actor.

https://bugzilla.gnome.org/show_bug.cgi?id=678164
js/ui/boxpointer.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.